机译:基于Tableau的具有绑定,逆向和全局模态的混合逻辑表达片段的决策程序
机译:经验证的模态逻辑决策程序
机译:直觉模态逻辑的树后计算和决策程序
机译:模态和混合逻辑的Pratt型决策程序的正确性和最坏情况最优性
机译:Gersonides的逻辑:对某些文档的分析,带有部分版本和“正确的三段论书”(犹太语,情态)的翻译。
机译:似然比优化决策的规则和关系在双对aB比例正确和d之间Vs Ba识别范式
机译:从命题决策程序建立模态逻辑的决策程序:模态K(m)的案例研究
机译:混合系统的模态逻辑和拓扑语义